Robustify previous leim/Makefile.in change
authorGlenn Morris <rgm@gnu.org>
Thu, 28 Nov 2013 23:34:15 +0000 (15:34 -0800)
committerGlenn Morris <rgm@gnu.org>
Thu, 28 Nov 2013 23:34:15 +0000 (15:34 -0800)
commitb95078976ea57d145d1ef8dfa8be884327377710
treee5bf1ca68c3f45172305abe7898460b8587ae0eb
parent5d28ed012cf85f535ce970633809f36cddc1fab7
Robustify previous leim/Makefile.in change
leim/Makefile.in